Model-Driven Engineering Approach For SysML Activity Diagram Simulation
نویسندگان
چکیده
This study aims to automate the simulation of activity diagram (AD) in accordance with the OMG SysML specifications. We use the concept of model-driven engineering to transform AD into VHDL-AMS. This transformation is depicted in two transformations based on specifications given by the Object Management Group (OMG): Activity Diagram (AD) to Petri net (PN) and PN to VHDL-AMS. We have established transformation rules in ATLAS Transformation Language (ATL). The semantic of Activity Diagram was expressed by LTL property and verified with the ”modelchecker” TIme petri Net Analyzer (TINA). The first transformation is used for formal verification. The second step allows to execute and simulate a system behaviour modelled by an AD. All simulations were implemented with SystemVision.
منابع مشابه
A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram
Safety verification of real-time embedded systems is a complex and hot issue. This paper proposes a SysML/MARTE activity diagram (SMAD), which is extended from SysML activity diagram (SAD) with non-functional MARTE semantics, for the describing of the real-time embedded systems behaviors. To carry out the safety verification, we transform the SMAD into timed automata. The processes of the model...
متن کاملSimulating simulation-agnostic SysML models for enterprise information systems via DEVS
Systems Modeling Language (SysML) is used as the modeling infrastructure in systems engineering, especially for complex systems design, independently of the system domain. Simulation is a common method to perform system model verification, during the systems development process. However, simulation code generation and execution is not integrated within the system design activity, as it is facil...
متن کاملAn integrated framework for automated simulation of SysML models using DEVS
System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common model. To validate complex system models defined in SysML, simulation is usually employed. There are numerous efforts to simulate SysML models using ...
متن کاملA Model-Driven Approach to Adapt SysML Blocks
Reusing and adapting existing components is the central topic of component-based development. The major differences between the existing approaches concern the models used to represent the components and the detail given to generate the adapters. In this paper, we present our approach which bases on the hierarchy to generate the adapters. Our components are modelled using SysML blocks and their...
متن کاملIntegrating Models and Simulations of Continuous Dynamics into SysML
In this paper, we combine modeling constructs from SysML and Modelica to improve the support for Model-Based Systems Engineering (MBSE). The Object Management Group has recently developed the Systems Modeling Language (OMG SysMLTM). This visual modeling language provides a comprehensive set of diagrams and constructs for modeling many common aspects of systems engineering problems, such as syst...
متن کامل